appFavorites: Add gnome-boxes to the rename list

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 3be6d149f4ceb0cef93334a23284b6b66adf5b1b..9c42ae3fca693adef5864993929575fcbcddd2b8 100644 (file)
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -18,6 +18,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnect.desktop': 'four-in-a-row.desktop',
     'gnibbles.desktop': 'gnome-nibbles.desktop',
     'gnobots2.desktop': 'gnome-robots.desktop',
+    'gnome-boxes.desktop': 'org.gnome.Boxes.desktop',
     'gnome-clocks.desktop': 'org.gnome.clocks.desktop',
     'gnome-contacts.desktop': 'org.gnome.Contacts.desktop',
     'gnome-documents.desktop': 'org.gnome.Documents.desktop',